School of Computer Science BCS accreditation 2021 - 2026
[Home]
Software Engineering MEng (Hons) - 4.1.2 Knowledge and understanding of mathematical principles
Return to programme overview.
COMP11120 Mathematical Techniques for Computer Science
The course consists of teaching such mathematical principles.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP11212 Fundamentals of Computation
The course exposes students to mathematical treatments of basic topics such as computability and complexity. It also gives experience in defining and using formal systems and notations (e.g. grammars), and reasoning about such system
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP12111 Fundamentals of Computer Engineering
Boolean algebra and binary arithmetic
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP13212 Data Science
The course covers statistical principles, including quantification of uncertainty and hypothesis testing. Probabilistic reasoning including Bayesian reasoning is covered.
Assesement : Examination, Lab work
Assesement : Examination, Lab work
COMP15111 Fundamentals of Computer Architecture
Boolean algebra is an important part of the course.
Assesement : Examination, Individual coursework
Assesement : Examination, Individual coursework
COMP26020 Programming Languages & Paradigms
There is some light use of mathematical notation in relation to programming, compilation, concurrency
Assesement : Examination
Assesement : Examination
COMP26120 Algorithms and Data Structures
Mathematical principles are core to the course and are applied directly to the design of solutions.
Assesement : Examination, Individual coursework, Lab work
Assesement : Examination, Individual coursework, Lab work
COMP28112 Distributed Systems
Not applicable.
Assesement : Not Assessed
Assesement : Not Assessed
COMP30040 Third Year Project Laboratory
Such knowledge is required in a small number of projects
Assesement : Individual coursework
Assesement : Individual coursework